svg.py: use better temp filenames