fix travis file?