carving: use ShortcutManager, fixes #67