migrated executable