Thank you for your bug report and patch. A separate set of patches have
been applied to libtool.

https://git.savannah.gnu.org/cgit/libtool.git/commit/?id=4da5b57531bc2db0131bb26ad017792688674890
https://git.savannah.gnu.org/cgit/libtool.git/commit/?id=fb617e2ba0809218486323823b74f706cedd9aac

-- 
Ileana Dumitrescu

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