cshrc: remove the pre-push thing