Use GitHub variables to store distribution name etc so files can be copied back and forth more easily and new versions be created more easily