Ah yes, I missed that -- it would be good to fix that issue in OPAM if there's a bug there (but this manually installation will still be required for OPAM 1.0.0 in that case)