Ada on BBC micro:bit with respect to Linux ensure that /home/mikeh/opt/GNAT/2019/bin or similar is in the PATH environment variable.
