Relax CHECK to try to fix the gcc 4.5 buildbot.