Missing include in dist and rec tests