Fix #764: Add a setting to control the script generator