Make HiFive1 testing (mostly) work again