[Spot] ltl2dstar

Hello I want to use ltl2dstar.exe for a project, but I have a problem with v.0.5.3. when I run it with cmd it returns an error... Exception in file common/RunProgram.win32.cpp at line 85: CreateProcess failed... I would be appreciate if you tell me how should I fix it. Best, Armin