Re: debug container patch

[Paolo Carlini]

-- Francois,

remember to regenerate and commit the Makefile.in changes.

Thanks,
Paolo.