Update Mission: makefile.rkt: Add options -B -t