Fix HEAD build and formula generator.