fix wgDevBoxImageServerOverride