Thank you for submitting a bug report! A patch has been applied to the
development branch fixing this:

https://git.savannah.gnu.org/cgit/libtool.git/commit/?h=development&id=b3839cb99be0f8231f836f55f62be765a9aefde3

-- 
Ileana Dumitrescu

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