Hi, > Ok for mainline if that passes? I'm going to trust you Rainer on this and it seems very safe on x86_64-linux anyway. Please wait just one more day or so and then check it in. Thanks, Paolo.