Eppex 2.2.0: allow to have --no-final-pruning.