Fixed on Linux Mint 19.2, I applied an enhanced back-port of Michael's 78b6312f493bb fix for Base-3.16.2.
Fixed on Linux Mint 19.2, I applied an enhanced back-port of Michael's 78b6312f493bb fix for Base-3.16.2.