FORMULA_RENAMES = {
  "cv" => "progress",
  "google-perftools" => "gperftools",
  "libcppa" => "caf",
  "objective-caml" => "ocaml",
  "mpich2" => "mpich",
  "plt-racket" => "racket"
}