Fixes for iniDB mine saving