I will post a fix for this issue shortly in the other thread here: Whonix gateway doesn't want to start.