It is extremely frustrating that we have declared this in OASIS and are unable to get it out! OASIS even generates a setup.ml with the pkg_version 2 levels down in a record but we can't get it due to side effects of loading the Setup module! Why does OASIS do this?!