Small Linux compatibility fix