Minor fixes because of changes to the `JsCompiler` and `Options` APIs