answered 2021-02-18 17:36:27 +0000
Did you run tools/debian-setup.sh first? That ensures all the needed libraries are present.