add missing IVDEP and header include