hedgehog compilation