For now I'd just prefer to keep it simple and use uniform naming.

One thing we should probably do is in `./make-distribution.sh` we should add other parameters to the `RELEASE` file that gets created.