fixing the broken mysql-dump