unpacked Alloy jar with .gitignore