don't need this any more; the "#define hashes to trees" hack is coming