Re: configure / make error 4.0.12

The 'make install' error should be fixed in 4.0.13, please try and let me know.

Thanks.
-- 
Randall Gellens
Opinions are personal;    facts are suspect;    I speak for myself only
-------------- Randomly-selected tag: ---------------
If you attack stupidity you attack an entrenched interest with friends
in government and every walk of public life, and you will make small
progress against it.                               --Samuel Marchbanks