0001-Rename-files-that-are-prohibited-in-Debian-packages.patch
