Fixes gwdg/rOCCI-api#33, avoid duplication in URIs