Change travis config to old mono version