Quick fix due to upstream changes

This fixes a failing Jenkins build due to upstream GraphHopper changes.