add missing cassert header