DESTLIB and MACHDESTLIB are now derived from variables set by the Makefile.

Clarified some comments.