Fixing Linux problems