I just see, in applets.h: /* DO NOT EDIT. This file is generated from applets.src.h */ But this does not contain IF_HALT and in halt.c the lines are just comments ... ???