these tests are now also failing on riscv64, quite interesting since they supposedly didn't before
riscv64