Fix linux compilation