Bug#872433: [with solution] Doesn't find modules installed in Debian directories

[Xavier]

Hello,

proposed patch can't be applied on stretch package.