Updated checkdefs to print 2/4 suffix to _MIX_ options so that the output files don't scare me.