Make scheduler generate file "nocinit.c" instead of "init.h".