Use PPM instead of PGM for the output format of framebuffer