void stripexit(int strip)
{
    if (strip)
        system("strip tmp/bin/binary");
    exit(0);
}
