mirage-random-stdlib requires mirage-entropy, and the opam solver may choose mirage-entropy.0.4.1 which requires we provide `Mirage_os` somehow.