added redzone, bucket mutexes, and product name to c++ wrapper