changing version to supress [WARNING] The file /auto/homes/hh360/.opam/compilers/4.01.0+bin-doc.comp contains a bad 'version' field: 4.01.0dev instead of 4.01.0