Fixing MacOS include trouble