more debugging info for fixing that mach issue