Remove delaboratory; I've already committed it to CVS.