Delete pgm11-vectorize.py~