Releases will also depend on running autogen.sh.

GitHub no longer supports manually uploaded sources. This means
we'll have to run autogen.sh both for HEAD and releases.