fix problems with make-dist shell script