Fix build on linux3