mysql: do not duplicate mysql_user resource in mysql_database