Delete #defuns.el#