Small helper programs to manipulate mincfiles.