this can be removed if you're not using `cout`/`cerr` now I think