The patch has been updated [1] after noticing some issues with it on
other operating systems.

[1] 
https://git.savannah.gnu.org/cgit/libtool.git/commit/?h=development&id=7292b13945ddd2e2af37d31ec398561e81729305

-- 
Ileana Dumitrescu

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