Fix file name in Travis config