Definitions: Fix broken ISO download URL