In vmctest/*/commonConfig.C: