Problem in running second time after installation in debian stretch

Specifically this post which builds head for me on Ubuntu 16.04lts linux and Windows7pro (although I think windows can be simplified somewhat, this works for me).

Peter