Update archfetch.py