minor tweaks to address old versions of libtool