Remove useless header from tripgen.h