Fixes debian packaging, patch from Thomas Goirand