adjust sched.h so that it doesn't depend on "posix" types