The file "TiCodEd" needs to be marked as executable under Linux.

Please do so by using a graphical file-manager and set the "Executable Bit" in the attributes or
use the commandline to "chmod +x TiCodEd".
