Fix make dist

[brson]

Make dist probably doesn't work anymore, and we need it before doing a release.

[brson]

90c07f3 disables automatic submodule management when there's no git repo