Fix makefile and deadline scheduler