praga-encoding-removed.patch
