Debug

Add the -g option to ./distribute.sh to create a distribution that is usable with gdb-remote.