Make Kore compilation compatible with OSX