normalerweise kannst du den ordner löschen, da dieser nichtmehr dazu gehört, gab damals einen newsletter dazu, glaub ich auch ne anleitung oder update, wie man das macht.

auf jeden fall sollte es reichen, die extras.lib.php zu bearbeiten.