INSTALL: In OS X 10.9, added install for sphinx.