How I processed the PGM sprites:

- first I drawn them as PNG in Gimp
- then set them as "grayscale"
- use png2pam to convert into pgm
- use xxd -i to convert into C arrays
- remove headers manually
