change name of sphinx build tool.