mini-os: updated version number