(“endl” is defined in “ostream”) (cherry picked from commit 8c528f4f)
mentioned in merge request !58 (closed)