> >> First, please tell me the current head of your core repo. You > >> observed this problem the first time when you ran exactly this LO version, > right? commit f839984910f0fd4ef385552df3af5e09190e15b9 (the other machine is at home, that will be different by some hours) Winfried