Tweak travis config (try to figure out why some are failing)