add some includes to get compiling with gcc 4.7