Some small linux helpers