But... $FILENAME is not a valid builtin (unless I am very mistaken).
Which file's name is it supposed to be (probably some header)?
EDIT: Aaaaaah.... now I see what you mean. Hmm... got no quick answer ready for that now, sorry. It appears that you are doing as you should.