Some more debugging to see if we can figure out hudson...