Update Mapbender for mapbender/mapbender#124