Fix compilation problems on ubuntu