exec tcsh "$@"