Fix problem with Apple OS X