Some small linux updates