don't use system machine/npx.h on OS X either, since it may not exists and isn't necessary