Add iostream header here, as it was removed from libveil core