Workaround for CPU 100% issue under MacOSX