Re: make install makes bad binaries