Fix linux compilation 2nd try.