Linux is not in the public domain. Linux is a cancer that attaches itself in an intellectual property sense to everything it touches. That's the way that the license works.
Bio: Alan Irwin Menken is an American musical theatre and film composer and pianist. Menken is best known for his scores for films produced by Walt Disney Animation Studios.