Remove bogus `Platform.flush()` calls