#!no csh path -f
time $*
