Hello, I haven't rebuilt bootstrap after the last patch I have sent to L4 devs to build L4 with gcc 4.7.x. I will check as soon as possible. Regards, JKB