And update makedist.sh to put all the new stuff into the source