Do not use unique_ptrs in real_external