update after coverity fixes

mapserver/mapserver#4866