Everything seems to be working, on all these:
Operating system: Debian 11.0 (testing) on W10's WSL Hardware platform: x86-64 C Compiler: gcc (Debian 10.2.1-6) 10.2.1 20210110 Operating system: Debian 11.0 (testing) Hardware platform: x86-64 C Compiler: gcc (Debian 10.2.1-6) 10.2.1 20210110 Operating system: Raspberry Pi OS (Debian 10.10 (stable)) Hardware platform: aarch64 C Compiler: gcc (Debian 8.3.0-6) 8.3.0 Operating system: Raspbian (Debian 11.0 (testing)) Hardware platform: armv7l C Compiler: gcc (Raspbian 10.2.1-6+rpi1) 10.2.1 20210110 Not too much variety, but it's worth something! siiky