Fix build on some linux systems