would it be possible to include this file in the distribution in the future? makes it easier to use `opam-installer` for external packaging