- merged official rtklib 2.4.2b10