bugfix on mysql_dump