The file `pixel.h` is still used by `dev/ppm/ppm.cc` as has to be kept
around a little bit longer.