Segmentation fault when generating policy with gradm