Add code to treat the @verbatiminclude case. Not sure if my perl
understanting is good enough to do this safely, but it seems to
work...