Fixed the damned build problem with the libraries not
being removed in make clean and make distclean (at least
we think it is fixed).