PDBDEBUG seems broken