Trying to start mosquitto with websockets on port 9001 fails

Question

Raspberry pi 3B+ (4.19.66-v7+), mosquitto 1.6.12, freshly built from source here: http://mosquitto.org/files/source/mosquitto-1.6.12.tar.gz (Note that this is not the versi