compiled again with GCC 4.2