Bug#840481: singular-ui: segfault when piping to stdin

[Ximin Luo]

Package: singular-ui
Version: 4.0.3-p3+ds-1
Severity: important

Dear Maintainer,

Some extra Sagemath test cases are failing since we upgraded to Singular 4;
minimal test case:

$ echo '12345*54321;' | Singular
[ fails spectacularly ]

but it works if you run `Singular` and type it in manually. Presumably the pipe
version also worked with Singular 3 before.

X

-- System Information:
Debian Release: stretch/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'stable'), (300, 'unstable'), (200, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.6.0-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_GB.utf8, LC_CTYPE=en_GB.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages singular-ui depends on:
ii  libc6           2.24-3
ii  libflint-2.5.2  2.5.2-9
ii  libgcc1         1:6.1.1-11
ii  libgmp10        2:6.1.1+dfsg-1
ii  libmpfr4        3.1.5-1
ii  libntl27        9.9.1-3
ii  libreadline7    7.0-1
ii  libsingular4    4.0.3-p3+ds-1
ii  libstdc++6      6.1.1-11
ii  libtinfo5       6.0+20160917-1
ii  singular-data   4.0.3-p3+ds-1

Versions of packages singular-ui recommends:
ii  singular-modules  4.0.3-p3+ds-1

Versions of packages singular-ui suggests:
pn  singular-doc  <none>

-- no debconf information