[FIX] GCC 4.7 errors under linux: some headers are missing.