Thanks Julien! I submitted the issue to bugs.freedesktop.org as you suggested. It got the bug number 47859 assigned: https://bugs.freedesktop.org/show_bug.cgi?id=47859 Best regards, Philipp