x32 and libtool fixes