Fix build on some linux configurations