Revert "Library defs don't bind to each other; fix #479"

This reverts commit 6b6e3f42627f360cbbad2287968b2a209ab43593.  It was
the wrong fix.
Lib defs don't bind to each other; fix #479 again