Segmentation fault when running ocpihdl on empty Zynq

After booting the Zedboard but before loading a bitsream, using ocpihdl to attempt to probe the Zynq results in a segmentation fault.