Arduino on Linux

Hi,

I'm one of the attendants to the Madrid workshop. Congratulations for the good work.

I've almost made Arduino work on my Debian laptop. I'm using Debian stable (Sarge), and after a few headaches with getting Java to work right (had to switch from Sun's to BlackDown's j2sdk to bypass some Sun bugs) I finally compiled the IDE.

Somehow, the installation script skipped the targets directory (maybe my fault, don't know) and had to cp it manually to the work/lib directory.

Now Arduino is compilng the sketches fine, but whenever I try to export them to the board, I'm getting this:

->/dev//dev/ttyS0
Error: No such file or directory

How can I tweak this?