Fix broken DMTCP link