Fix linux build (probably part 1 :)