make_micore.sh: Fix version write to configuration