Fix build on linux (part 1)