micore_setup.sh: Write version number to configuration