Added back -fprofile-arcs needed for gcov on linux.