Donkey PAWG compilation v1 2 min