
	- Don't use --quite in dotest as it is a Debian specific extension
	  to /usr/bin/time
	