Linux compat. fix