fine tuning the travis file