revert travis mono version