shell: Get address of Docker machine from the right place.

Fixes #1217.