Facts are now dumped in TestDB format by pdbquery.