Redo MKExecutor API; make code ARC-compatible