Binary distribution now updated; Script for creating it is greatly simplified