Closing this now. It looks like Mike fixed this in January:
https://git.savannah.gnu.org/cgit/libtool.git/commit/?id=96dafbda932c7e872ad35fe369175f932a751589

-- 
Ileana Dumitrescu

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