> > So, checkout a new freemint-1_17 branch again, apply my second patch and > build. Let's see where we get then. > I already checked out another version to try your new patch. ;-)