zybo-eth: fix build