oops wrong filename in travis build