build-BOOT.sh: Fix Derp