Dist Improvements

Support external options in the `dist/install.sh` script, and remove an unused variable.