Fix wrong filename in Travis script