Modified for use with TeXLive 2007 / School of CS Machines