* commit 'a72b912f': fix problem with get_public_ip() in installation script
mentioned in commit f4692697