Sorry about that, but the last post in this thread was mine -- I forgot to put in my username and password (I actually am not the one who started this thread).

Still, that's what I get from the Terminal.