fix isa2rdf uri in install script