Remove a redundant part of distrib/Makefile's "make install"