What I meant by my previous comment here:

> These last three aren't libraries.

… is that these don't live in `/usr/local/lib`. We should do them in a separate step, but it may not even be necessary.