port to GCC 4.3