Oops, I introduced a bug in ${prvstest changes, shown up by building (new)
drwxr-xr-x - configs
drwxr-xr-x - doc
drwxr-xr-x - src