PORT: MacOS needs a CONFIG option