Fix linux warning