Thank you giorgio
, the problem was indeed the incorrect line-ending.
Now the reader starts, but any input in the FileManager seems to be turned 90 degree counterclockwise and somehow blurred so that it is really hard to select a desired point.
I tried to replace the gesturedector.lua in frontend/ui but this changed things from bad to worse: now i can't enter anything. Do you have any further hints for me, please?