In vmctest/production: