We were hardcoding the absolute $LIBDIR location, which sounds smart, but not if you're doing "make install" into a temp dir that will end up somewhere else later. Instead, look for ../lib/redo/ from wherever the binary is installed.
(usable as 'make install' or 'redo install', of course)