Update mysql_ops.pl and mysql_db.sql