micore_setup.sh: add version number cfg and bugfixes/improvements