Finetune .travis.yml