Added an updated patch for Debian