Very minor change for better dongle detection on OS X

In OSX, it looks like 'PID=2458:1' without the zeros