Modification de plugin

Salut,
suite à un petit bug, que j’ai remonté (https://contrib.spip.net/Plugin-SEO?debut_comments-list=@510162#comment510162), je souhaiterais modifier un fichier d’un plugin.
Pour qu’il ne s’efface pas à la prochaine mise à jour (sauf si c’est corrigé, of course ;) ), je me demande comment faire le plus pertinemment.
Le fichier est /plugins/seo/seo_fonctions.php
Je pensais que mettre cela dans squelettes/plugins/seo/seo_fonctions.php passerai, mais non.
Quelle est la méthode adéqate ?