port to Linux (now Ubuntu 13.10 server)