Could you make the scheduler build time configurable instead of replacingthe existing one? Embedded folks in particular may love a low footprintscheduler.