
void rebuild(string strip)
{
    initialize();

    chdir("scanner");
    exec("../" + g_binary, "-S", "../skeletons", "lexer");
    chdir("..");

    program(strip, 1);      // terminates
}
