Create LTLMoPTester file based on GUMBO which removes GUI.