Switch to rtklib_2.4.2b11