Some fixes for Linux.