these all have the `yes no| omake` spinning bug, so restrict to Linux only
Merge branch 'master' of github.com:mirage/opam-repository