GNU libtool fixes for some proprietary platforms