  $ dune build file @install
  File "dune-workspace", line 5, characters 9-47:
  5 | (context (default
  6 |  (name cross-1)
  7 |  (host oups)))
  Error: Undefined host context 'oups' for 'cross-1'.
  [1]
