Remove unnecessary code from Ur/Web benchmark implementation