fix building with gcc under Linux