added function db_set_dbname() on mysql dblayer