use zerovm branch of gcc