linux user files (from unicamp)