Include file needed for Linux build, which is definitely more picky (which we like!).