further modifications to travis file