shell: Get address of Docker machine from the right place

Fixes #1217
Closes #1268
Reviewed-by: Stef Walter <stefw@redhat.com>