minor changes for Linux