Improved download.sh now checks whether source has changed