Дожился

Нужно было изменить размер картинки. Вместо того чтобы запустить графический редактор и там ее отредактировать, зашел в консоль и написал:

python

>>> import Image

>>> source = ‘my_image.png’
>>> im = Image.open(source)
>>> im = im.resize((16, 16))
>>> im.save(source)

Получилось быстрее.