`cabal run -vnormal+err cabal-bootstrap-gen` would output ghc
build output on stdout, messing up the expected JSON output and
causing empty linux-*.json. Instead, call `cabal run -v0` which
silences ghc as well as cabal, unless something goes wrong.