I 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.