Makefile: 'make install' now also installs the library