Removes annoying key mapping that interferes with Ctrl-P