Small patch for debian packaging