work around hardcoded /usr/bin/python path of sphinx-build