Using the mono version on travis CI