Hi Florian, I'm not the maintainer, but you have the same issues with me and they are identified at #836972 (https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=836972). To resolve, you can wait for mutter 3.21 rolling to testing, or install it now on sid. Regards, Đặng Duy Sơn