Updated karabiner requires specifying profile