update LTLMoP fork