nextpnr is kind of fat