What does redhat ship that isnt open source under the licenses my dude ?