Travis: workaround for 64 bit systems