Add namespace to DEBUG variable, add missing UINT64 type to compat.