I had to download a program called Key Tweak. On my set up I had to change a button from CTRL to SPACE BAR. Key Tweak did the job easily enough. It's not ideal as you have to Restart to force the change and if you want to change it back you have to Restart again.