back to GCC 4.4.3