Note that we are still missing an update for install_deps.sh to easily build this on Linux. Only "make deps" has it for now.