Bugfix release (untested)

I mixed some call in an internal library function.  I believe in this
case it did no harm.  This release fixes that (by an update to the
latest tinolib).