If a theory has arbitrarily large finite nonrigid models, expand its language by a unary function , axiomatize that is an automorphism, require to move some element, and add sentences demanding at least elements for every . Every finite fragment has a sufficiently large finite nonrigid model, so compactness supplies an infinite nonrigid model.
Codex Wiki