This reverts commit 46ad41e813. This turns out not to work, so we have to use a hardcoded version here.
46ad41e813