Output on startup that shows address only shows after termination

[kaiyazeera]

How it looks like:

$ tamarin-prover interactive . -i="*4"
GraphViz tool: 'dot'
 checking version: dot - graphviz version 2.43.0 (0). OK.
 checking PNG support: OK.
maude tool: 'maude'
 checking version: 3.1. OK.
 checking installation: 26/Oct/2022:08:35:14 +0000 [Info#yesod-core] Application launched @(yesod-core-1.6.21.0-KU46cc4PmHE8SxYJqpUG9j:Yesod.Core.Dispatch src/Yesod/Core/Dispatch.hs:178:11)

After I visit the web interface:

172.17.0.1 - - [<date>] "GET / HTTP/1.1" 200 - "" "<fingerprint>"

What I would expect to see:

GraphViz tool: 'dot'
checking version: dot - graphviz version 2.39.20150613.2112 (20150613.2112). OK.
maude tool: 'maude'
checking version: 2.7. OK.
checking installation: OK.
The server is starting up on port 3001.
Browse to http://127.0.0.1:3001 once the server is ready.
Loading the security protocol theories './*.spthy' ...
Finished loading theories ... server ready at
http://127.0.0.1:3001
21/Jun/2016:09:16:01 +0200 [Info#yesod-core] Application launched @(yesod_83PxojfItaB8w9Rj9nFdZm:Yesod ...

(from the manual)

[kaiyazeera]

As a clarification, tamarin works, but since the output only shows after termination, it could lead users into thinking the tool is not verbose enough or broken.

[kaiyazeera]

This only occurs on the tamarin v1.7.1 in Sapic+ by @rkunnema