fix compilation error with gcc 4.7.2 (missing include)