tinkering with mysql dump