PR: OSX port #70, very simple PR, done here rather than merged