Fix for #20 on Mac OS