Patches have now landed for 20.04 and other earlier Ubuntu versions.