DoubleCommand 1.7
MBP with OS X 10.9
I configure DoubleCommand such that the right Option key acts as a Control key. That's the only key I change. It initially works but after a while stops working. I suspect it happens when the computer sleeps and reawakens. I'll try to verify that.