change name to prevent re-run in 'install-all-options'