Fix the 32-bit linux travis bots