Do not source setup.sh in boot.sh, instead use full bmake path in Makefile