ちなみに、-fprofile-instr-generateで解決するのはそのまま出荷されてしまうとあまり嬉しくないのでカバレッジをOFFにする方がいいと思いますよ。（スキーマでON/OFFするやつはこの問題がなかったとしても使わない方が良くて、必要な時にコマンドラインから渡す、方がいいです）