Update distrib.sh

Fix problem where file appeared empty.