Fix the build when using gcc-4.4 on linux. Header needed