# mtcp_restart plays tricks with its memory layout 
dmtcp binary: statically-linked-binary *usr/lib/dmtcp/mtcp_restart
