Problem described in this original PR:
https://github.com/tomojitakasu/RTKLIB/pull/498/files
merged
mentioned in commit 8b97726d