Bug corrections under Linux