debugging the .travis file