Keep csh user(s?) happy.