use latest snapshot of cartographer for a bugfix.