fix to remove swank-define-op for swank:arglist-for-echo-area