Buf fix: dmtcp_launch.cpp: fails when number of parameters exceeds 128