static RGBImage rgbScaleToWidth(RGBImage img, int w) {
  ret rgbScale(img, doubleRatio(w, img.getWidth()));
}