These commits [1][2] have been applied to master which should resolve
this issue, so closing.

[1] 
https://git.savannah.gnu.org/cgit/libtool.git/commit/?id=e24d6ec92bcb95e15a75bb6a66067f4b4da05b58
[2] 
https://git.savannah.gnu.org/cgit/libtool.git/commit/?id=e66abb28cf2e6cf33b3a3243b5ec7d29f5b1ad51

-- 
Ileana Dumitrescu

GPG Public Key: FA26 CA78 4BE1 8892 7F22 B99F 6570 EA01 146F 7354