Revert to older version of webppl