This is related to this bug https://bugs.launchpad.net/ubuntu/+source/compiz/+bug/936840
which suggests that it was GNOME that changed the "name" of Ctrl to "Primary" which not surprisingly breaks keyboard shortcut configs.
This is related to this bug /bugs.launchpad .net/ubuntu/ +source/ compiz/ +bug/936840
https:/
which suggests that it was GNOME that changed the "name" of Ctrl to "Primary" which not surprisingly breaks keyboard shortcut configs.