lukakostic/SynTex-with-gui not found