Oops, travis ci configuration fix again