#!/bin/csh
setenv WNHOME /usr
