temporary fix for gcov build