fix coverage file for travis