Yes. I decided to set all options in the configuration file (see line 136 in this diff).