Thanks for the reply, Scott. I was afraid that this such was the case. I guess one way around it, for me, is to make shell accounts for all of my users (only have a dozen anyway).
Actually, I might try to do this with the account of this user and see if…
Nah, nevermind! I’ll just have him download it to his own computer and deal with it himself.
Appreciate the help.