(executable
 (name letppx))
