added coverage options with gcov