we could identify general problems with Docker toolbox (not specific to windows), plus a couple of smaller issues specific to Windows