explicitly include some header

this seems to be needed on mac os for whatever reasons