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

