Ah, sorry, there are two separate bugs, and this thread is dealing with the other one. Nevermind. -Brian (plus, this thread makes me realize that renaming the directory won't work anyway)