gcov doesn't like gcc 4.8