one more debug option for a kernel, to fix a Mac OSX issue (one more to go...)