mysql dump is now ignored
merged