Thanks for the feedback. Could you please send a pull request with your suggested changes to the linux installation instructions? Be specific about what debian version you use and other specifics about your configuration that may be relevant (usually it is not necessary to manually deal with this dependency).
(see also Can't start latest stable on ubuntu 20.04 - #50 by swang.jislee)