fix OS X (at least 10.9)