recompiled with GCC 4.7.2