Debug travis mono ssl