linux bugs corrections