`IOServicePortFromCGDisplayID` inside [osxDisplayDeviceManager](https://github.com/INRIA/libpointing/blob/master/pointing/output/osx/osxDisplayDeviceManager.cpp) is crashing on my machine (10.11.6). We need to replace it.