Comment by AnimalMuppet

I believe they identified it by the name of the executable. IIRC, we did exactly what your second sentence says.