linux version now works (at least on Ubuntu 12.10)