Johnnie

I had the same problem, so I built a new docker image from master, and that sort of seems to have fixed it. However, I also noticed that when I...