added gcc for genkernel