update sqldump and gzip it to save space in GitHub