Fixed wrt API change of OpamFile.URL