gnum4: fix download URL