Fine tuning of Travis CI settings.