Oops, I introduced a bug in ${prvstest changes, shown up by building (new)