remove EXIT_AT_END from options.h