travis: fix filenames