Try to compensate for bad CPU schedulers in Travis