Fix build on linux/gcc