mysql dumps are now gzipped