The code in the these two files is quite old since they refer to the /opt/gnome path for GNOME files which was changed to /usr quite a while back. They should either be deleted or changed to reflect the current changes. Are the tags relevant for the current GNOME? -- Abhishek