Some little Linux fixes