This is applied in the master branch now, so closing.

https://cgit.git.savannah.gnu.org/cgit/libtool.git/commit/?id=9c7772f8a6924ff0d1ad6385e12c56baed96dd71

-- 
Ileana Dumitrescu

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