Re: [RESEND 2] Changes to enable the use of gcov and PGO