This partially undoes the change from 8788bfe762. The 'doBenchmark' name is more consistent with the naming scheme used for other phases, like 'doCheck', 'doHaddock', etc.
8788bfe762
*Platform.extensions