use latest rdflib.js