now works with GCC 4.6