Fix Trac #2456: eliminate duplicate bindings when deriving