Currently the (too verbose) output from `csound` is directed to `/dev/null` to avoid cluttering the `spec` output. However, this is perhaps not the best solution. We might want to set up a `logger` object to perform appropriate logging of this output.