Fix operatingsystem fact for ALT Linux.