Modifications to deployer to install a dsbenchmark distribution