build_distribution.sh now waits for the user to confirm removal of $dest.
chromium close button a little bit more realistic.