A huge thank you to the folks who have been working on bringing the build system back up so that we could cut this release. Many folks have contributed, and especially @alessandrogario, @Stefano Bonicatti, and @theopolis did a ton of work on fixing up the third-party dependencies.