Most of lint's source files are shared with the portable
compiler: they are found in ../../lib/mip.
The files here are only those which are unique to lint.
