Repairing Mobile Devices with gTools