fixing build failure in the zedboard target