Added -O flag to curl and added missing file. Should fix #445