dyld_decache: made the UUID printing work for 64-bit cache files too