Travis CI: fix file location