Delete defuns-config.el