After booting the Zedboard but before loading a bitsream, using ocpihdl to attempt to probe the Zynq results in a segmentation fault.
This condition was properly recognized in 2017.Q1.