Exclude some files we only need in the repository from the ZIP files generated by GitHub.
Fixing stuff after move.