disable support for pretty-printing & blackboxing