install mono in debian script added