Another fix to profile-build on gcc 4.6