fix filename for travis