Correcting filename for travis-c.