fix download URLs

Change-Id: I09a689b0aae5685ce4e7139af2c0344e00ee6f1d
Reviewed-on: https://asterix-gerrit.ics.uci.edu/1034
Reviewed-by: Yingyi Bu <buyingyi@gmail.com>
3 files changed