I've put a fixed release of 13.11 on your ftp account at Eiffel Software. This is not a new version, I've merely manually patched the runtime and reran the delivery process against the same version of the generated code.