Various fixes for making Ice work on GNU/Linux.