Fix the 32-bit linux travis bots

ahhhhhhh