Fix for TID/PID on OS X