alex.patches		Changes to make the alexserver run under Linux
isode.patch.gz		Changes to build ISODE (OSI stack) under Linux
			[not for the light hearted (nor the sane)]