adding some missing standard c++ headers

Thanks Olivier