Explicitly listen on IPv4 in tern server, too