corrected filename for travis