[skip ci]: build takes pretty long, at least the download timed out in CI last time. ollieparanoid made sure that this builds before merging.