Forgot to add config header file. Fix allocation bug in scheduler.