We were using a version years old. I picked the git version instead of the last release because the git version has fixes not released for almost one year.