Fix files that included the posix scheduling headers that were merged earlier.