Here is how to reproduce the problem:

1) Get the code from https://github.com/ebezault/gobo.git
2) Check-out commit 1e817842b8596389b9575c41fc7b3cd2b655f178 
3) Run the bootstrap in $GOBO\work\bootstrap
4) Compile the project in $GOBO\src\gec with EiffelStudio using ise.ecf
5) Check-out commit 2db1d95fc61bf03f9fb1a03c8110a263e41f3b2f 
6) Recompile from EiffelStudio
7) Execute from EiffelStudio with the command-line argument: ge.xace

Contrary to the initial bug report, there is no "runtime panic", but a "segmentation violation" in FILE.make_with_name when executing the line which creates `last_string'.

--
Eric Bezault