update IP as per https://www.whonix.org/forum/index.php/topic,107.0.html