install script fixes
install script fixes
Merge pull request #1083 from jgunderson/install-script-fixes

Install script fixes