Comment by M95D

They could have used gentoo with their own binary package server. Maximum flexibility, including all compiler flags.