Hacer una peli con un montón de imágenes

Lo más eficiente que he intentado:

ffmpeg -i 1%07d.png peli.gif

o también

avconv -i 1%07d.png peli.gif

donde supongo que los png son del tipo 1xxxxxxx.png y el oden alfabético es el orden temporal.

Si no estan ordenados alfabéticamente pero con un número entero (peli1.png, peli2.png,...) se puede hacer esto:

ffmpeg -r 10 -start_number 1 -i peli%d.png test.avi

¡No usar "convert"!... usa muchos recursos.