Removed an include that gave problems on Linux