Update Mapbender for mapbender/mapbender#39