Re #8365 Fix build. stdlib missing?