This bug has been fixed upstream and is part of dmtcp release 1.2.4 which has been submitted to debian and should be available shortly.
This bug has been fixed upstream and is part of dmtcp release 1.2.4 which has been submitted to debian and should be available shortly.