Fix compilation error by including scheduler.h
Fix TODO -> Estimate aggregate pf allocations correctly.