Fix a problem with included files