  Inspired by a recent result of Levine-Lidman-Piccirillo, we construct
infinitely many exotic smooth structures on some closed four-manifolds with
definite intersection form and fundamental group isomorphic to $\Z /2\Z$.
Similar constructions provide exotic smooth structures on further
four-manifolds with fundamental group $Z/2\Z$, including examples with even
$b_2^+$.
