FIX: force correct timer precision on Mac OS X