Various fixes for making Ice work on GNU/Linux.
Merge pull request #68 from marcusmoller/master

Various fixes for making Ice work on GNU/Linux with recent master changes.