Use 12.0 on mono, CI build