move default values for download urls into php
improve update-downloader: make default values useful (in theory no changes should be required)