C'est clair qu'il vaut mieux patcher sa machine. Ca évite d'avoir un code de lancement compliqué (patch) qui occupe autant de fois de la place en archive qu'on a de programmes lanceurs.
En plus, le patch, qui est valide actuellement, ne le sera pas forcément pour de futures versions HW.