travis: fix file name