minor changes for Linux compatibility