This bug should be resolved with a patch submitted on Savannah:
https://savannah.gnu.org/patch/index.php?10481

It has been applied to the development branch:
https://git.savannah.gnu.org/cgit/libtool.git/commit/?h=development&id=4cc12b83ffa947d9c1948a066c7e70c0336f6acd

The other requested changes have also been applied:
https://git.savannah.gnu.org/cgit/libtool.git/commit/?h=development&id=c5bd2b146f6638f295a0b6414efe8767e21dad7c

-- 
Ileana Dumitrescu

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