[minor] Missing import in Driver.v