see Debian bugs
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=994873 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=994955
we can't keep valgrind enabled, or libdrm.pc would be broken
see Debian bugs
https:/ /bugs.debian. org/cgi- bin/bugreport. cgi?bug= 994873 /bugs.debian. org/cgi- bin/bugreport. cgi?bug= 994955
https:/
we can't keep valgrind enabled, or libdrm.pc would be broken