Recent changes on development snapshot broke packaging

… after adapting the changed file name, packaging still breaks. Before further investigating the problems, I’d like to know if there have been any substantial changes to those files.


never mind, it seems to have been a problem of cached files.

We also recently had issues with our upload to the build server resulting in incomplete files, so this might have been also a problem