More fine-tuning of Travis-CI