travis: Fix file name