Fix for building with GCC 4