use mono 3.2.5 with travis