Bummer.
More to the saga.
I installed Ubuntu 12.10 on another computer, booted, tried to run the same program with Teensy and it failed with the same problem.
So I decided to try a completely different distribution - I went with CentOS, booted, and lo and behold it worked. So it is something...