Scanner now returns end of file token(a hack in the driver) but should
work when called from the future parser too.