Try to fix coveralls coverage measurement.