bugfix: buffer-file-name is nil in batch mode