ggg compilation