5 ms·updateby 1317 3y agoupdate20after4 3y agoI did update but it turns out the version in debian is hopelessly outdated anyway. Eventually I figured out how to install the latest version which does indeed work.