I think I can get rid of this, there was a case where it wasn't working with old Xcode but I think I fixed it by generating different device name strings for Xcode 4.