build.sh: fix derpt