Fix incompatibility with pytools.debug