Fixed wrong filename in travis build