Disable premature redundant state optimization, old-GUI can mess it up