fix bad filename in travis config