update defuns.el