Prefer <iostream> despite what cpplint.py says