The binaries are indeed encrypted, as evidenced by running "otool -l <binary>|grep cryptid". Why do you think otherwise?