Fixing checker compilation.