void cleanupExit()
{
    run("rm -rf tmp verbinsert/tmp");
    exit(0);
}
