This also fixes http://bugs.debian.org/581880 (tcsh silently ignores the end of a script with no trailing newline).
This also fixes http:// bugs.debian. org/581880 (tcsh silently ignores the end of a script with no trailing newline).