Fixing Linux code