I'm not using docker, but just an ordinary install on Ubuntu 18.04 that's been working great for years (thanks @Cas and team!)

But the above cp command fixed things for me too. Thanks @jsw10471 for the troubleshooting!