fixes #733 - updated linux binary