unnecessary #ifndef. TODO: use getopts for --verbose