+Mindstorm 0.5.4 with typos corrected (opam version 1.2)