Yes it is that file, but I'm not sure where the VLINK macro is being created/stored. I'm thinking of changing the background colour of the led as a quick fix.