forcemerge 615690 602472 thanks Dear all, I think that is a #602472 duplicate of #615690. This merge will close it. Cheers, -- Charles Plessy Debian Med packaging team, http://www.debian.org/devel/debian-med Tsurumi, Kanagawa, Japan