Make pressing right ctrl have the same effect as left ctrl