bash scripts to split huge files into zips before pushing to github, and then to unsplit them