Re: [PD] else/dir: different behaviour between Debian and Ubuntu