fix linux compilation issue