Remove --shift from gringo!