travis 32 bit