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