Again a small linux fix