Some linux adaptations