Added a missing dependency in the installation of ProofBench PAR files
Added a missing dependency in the installation of ProofBench PAR files

tc3t/qoot,tc3t/qoot,tc3t/qoot,tc3t/qoot,tc3t/qoot,tc3t/qoot,tc3t/qoot,tc3t/qoot,tc3t/qoot,tc3t/qoot