Try to work around bug in cpp-coveralls