Fix spec file for coverage measurement