Add workaround for a cpp-coveralls problem