Update install-synthesize.rst