Another nasty side-effect: https://bugs.freedesktop.org/show_bug.cgi?id=50540 Who could have thought! ( *pensive* I hereby confirm that my claims like "This patch is safe" are not valid anymore.) Regards, Ivan