Linux: disable caps lock, make it control key