Macbook pro 13" does not have a right control key. As a programmer I really need this key and it is not convenient to hit left control with keys that are also on the left side of the keyboard. Is there a way to globally change the right option key (which I don't need that much) to the ctrl key in mac?
I finally found how to remap control keys and I'm including it here for future references: Double command is a software that does exactly the same thing (mapping only the right option key to control key). You can use it to change the control keys of your mac using this application.
http://doublecommand.sourceforge.net/