>>>>> "Todd" == Todd Vierling <tv@pobox.com> writes:

    Todd> If you are going to upgrade from source, you must use the
    Todd> "make build" command from the top level of /usr/src. If you
    Todd> don't do this, necessary includes will not be installed
    Todd> properly. Additionally, it can result in miscompilation of
    Todd> binaries.

    Todd> I suggest you upgrade using binaries of the latest 1.4.x
    Todd> release, first. Then go to /usr/src, "make cleandir" (to get
    Todd> rid of your current build), and "make build".

my idea was to 'make build' only on one machine, but making 'make
install et al.' on all machines: Saving disk space and compilation
time. -> Would be a 'make includes && make install' sufficient for that?

Markus.