Fixing linux bugs