add note about mapserver/mapserver#4516