fixes random configure error when building why
Merge branch 'why' of github.com:vprevosto/opam-repository into why