Use more recent geppetto.