/usr/local/man/man1/rlwrap.1.gz
/usr/local/bin/rlwrap
/usr/local/share/rlwrap/ftp
/usr/local/share/rlwrap/testclient
/usr/local/share/rlwrap/coqtop