PFScheduler -> EnsembleScheduler; too bad g++ doesn't catch type punning.