The code inserted into .profile should perform some consistency checks first before setting
the PATH:

	check that M2 is found in the same place it was before

	check that the architecture is the same it was before

	    rhodium% uname -m
	    i686
	    rhodium% uname -s
	    Linux
	    rhodium% uname -r
	    2.6.18.1
	    rhodium% uname -p
	    pentium4
