added std lib to header to make linux happy