rm mysql.el