Not absolutely necessary. It must have felt cleaner when I wrote it, because we are throwing away the GCC output. I’ll change it to pipe for the sake of less code.