+Mindstorm 0.5.4 & oasis2opam 0.5.0