define redo
symbol-file bibtex
exec-file bibtex
end
