fix issue with travis file