remove asdf-install also from manual
handle --without-xxx options more correctly in make.sh

Thanks to Richard M Kreuter
Make %TYPE-CHECK-ERROR use specific internal error codes when it can.