Ur/Web compiler patch revisioned