First time here? Check out the FAQ!
answered 2018-04-13 16:56:40 +0000
Sounds to me like you don't have all the dependencies installed. In the tools directory there's a debian_setup.sh (or similar) run that script.
