Update scripts/install_sphinx.sh