PS: Since it is not yet clear whether and when a better solution (and which) will be implemented, I changed buildbot to strip windows builds for now. Changing this back later on is trivial. Bye, Max