oops, travis file named wrong