update debian packaging to adapt new style php module file paths