Fix the badness of using buffer-file-name

in loaded code.  Just doesn't work.