Enable building of rootmaps; enable proofbench (no par files yet); enable pq2 (not yet working)