Restore setting of GOVERSIONOPTION

Accidentally removed in last commit.
1 file changed