now depending on more up-to-date wolfe version