Merge rtklib 2.4.2 p7.