Fix for GCC under Linux