Fixing shutdown protocol in prodcons benchmark.