New RGB-to-PPM mini-utility.