Good idea... I'll take a look into it. > Any reason why you don't use FFmpeg's ppm decoder > (that I suspect supports more formats than yours)? > > It would reduce the maintenance burden...