State that the PPA version of FEniCS is required