Update gen-favicons.py