fixing ispn config for tpcc