astadmistry

**Problem 1** In install.sh (line 32), I set `LUAVER_DIR` to a different dir which was not the default `~/.luaver` The profiles which were set in `~/.bashrc` used `~/.luaver` They should...