travis file fix?