Fix nonstandard C++ extension in getNullSink