Minor changes for Linux.