Re: make install (at git ef01794) still fails