fix travis 32-bit build