This change was suggested by Klaus Ebbe Grue on the mailing list; see
<https://lists.freedesktop.org/archives/nouveau/2022-August/040860.html>.

Closes #12.