> Uwe, is it really necessary to rename this file at every release?
No. I'll rename it for the next version. > I have to fix the Makefile at every release at make dist step; this is quite annoying. I wasn't aware that you also take care about the Windows installer files. sorry and regards Uwe