maybe fix travis file