Small Linux fix