Allowed options to be changed in dymola_script.run