Addition: this has also been reported here: https://sourceforge.net/tracker2/?func=detail&aid=2274866&group_id=1537&atid=101537.
Addition: this has also been reported here: https:/ /sourceforge. net/tracker2/ ?func=detail& aid=2274866& group_id= 1537&atid= 101537.