Comment 9 for bug 1969815

There is no compilation necessary. Using the above link you just download the package set for a given version and install the set as one:

  sudo dpkg -i *.deb

But certainly don't do that if it's a production machine and you have an acceptable workaround.