File obs-server-2.7.1-0009-dist-Set-proper-pathnames-when-installing-dist-files.patch of Package obs-server