untested fix for zynqportal