Update instructions for OS X to work around #6.