Add a stupid gcov wrapper