fix linux compilation failure