Change version of openrdf