Fix some #includes under linux

fixes some bad #includes under linux.