Finally got `defkey' to work the way I want