fix linux warning