Bug#747519: bibtool: "Symbol does not start with a letter" random errors with pipe

[Vincent Lefevre <vincent@vinc17.net>]

Package: bibtool
Version: 2.57+ds-1
Severity: normal

I randomly get errors like:

                  ,
_____^
*** BibTool ERROR:  (line 109 in <stdin>): Symbol does not start with a letter

                  ,
_____^
*** BibTool ERROR:  (line 380 in <stdin>): Symbol does not start with a letter

                  ,
_____^
*** BibTool ERROR:  (line 1236 in <stdin>): Symbol does not start with a letter

or:

                  ,
_____^
*** BibTool ERROR:  (line 109 in <stdin>): Symbol does not start with a letter

                  ,
_____^
*** BibTool ERROR:  (line 380 in <stdin>): Symbol does not start with a letter

(on the same files!) and sometimes no errors, while the input files
haven't changed. BibTool seems to have problems with pipes.

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

Kernel: Linux 3.14-1-amd64 (SMP w/8 CPU cores)
Locale: LANG=POSIX, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages bibtool depends on:
ii  dpkg          1.17.9
ii  libc6         2.18-5
ii  libkpathsea6  2013.20130729.30972-2+b3
ii  tex-common    4.04

bibtool recommends no packages.

bibtool suggests no packages.

-- no debconf information