can anyone confirm that the files in

usr/share/microb-engine/greprefs

are config files for microb? I edited configuration but file time stamp did not change.. I copied it too my computer and if/when I flash, Ill use them and see if they are..