IDManager: aggiornamento per patch

[d.termini]

Ho ricevuto una patch per IDManager (l'installer), ho provato a metterlo nella cartella IDManager dell'installazione di InDe sperando che mi proponesse di aggiornarlo durante la pubblicazione come faceva in passato, ma sembra che non se ne sia neanche accorto.
Devo installarlo manualmente nel server o è cambiato qualcosa?