apply workaround for GCC 4.6