added workaround for GCC 4.6.3