I have changed the script so it doesn't put the include files into the files to be processed by FORCHECK. To get this version check out revision 3 from SCM.