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

Hi, Current slime doesn't reset *default-pathname-defaults* after file has been compiled to it's previous value - is there a reason for it? Thanks, /S