Change CTRL button in Terminal commands
As a workaround, you could remap your modifier keys. In System Preferences, choose Keyboard, and click on the Modifier Keys ... button on the Keyboard tab. There, you can (for instance) have Caps Lock act as your Control button.