debian/0001-platformdirs.patch