Why Coq doesn't allow a theorem with admits to end with QED in Linux and Windows?

Question

I am using Coq 8.10.0. Following proof script seems to work in Mac (ignoring warning):

Lemma plus_comm : forall (n m : nat), n + m = m + n.
Proof.
  intros.