Strip more useless stuff.

E.g., get rid of lib/.