[cleanup] Don't include misc.hh, it is (apparently) not used