[slime-devel] *default-pathname-defaults* not reset after file compilation?