bugfix: global options were not correctly overwritten when changing options under deployment;