Update Mission: makefile.rkt: Support -s option