exec the right files since we renamed them