setenv prod