fix linux compilation errors