Added `make dist`; modified other files to accomodate.