Fixed json-make-pvs-error to call namestring on fbname, which could be a
pathname.
Merge remote-tracking branch 'origin/master'

What to say here?