Include <iostream> here, because most people using DEBUG() want to use std::cerr...