cradle:
  bios:
    program: script/ghci-flags
    dependency-program: script/ghci-flags-dependencies