pushed forward to latest Text.Printf source