Fix linux compilation problems