I'm not sure if it's needed; I just used bin.install to copy the executable to the right place. I noticed everything got linked properly afterwards...
I thought `make install` might copy the executable to some undesired location.
How do I tell whether it's necessary?