Some small linux changes