Fixes compilation issue on GCC 4.6