Copy and adapt KalmanOps.h from mictest/KalmanOpsNT.h.