oops, renamed travis file