Fix Linux compilation warning