1.725: resolve issue pointed out by pjb, whereby *default-pathname-defaults* can be #p"".

Also pointed out by pjb, current-directory needs not be anything like the OS current directory.
Renaming to default-directory.