Feature #4977: Add std headers