Actually, really change the behavior of 'opam install' (#644)
Update CHANGES