Compilation fix for GCC >= 4.6