config.h: SCRIPTLET_SHELL