Fix the build with gcc-4.4 on linux: header needed