Update gen_mapserver_symbols.py