Try to workaround the broken ubuntu python3-numpy install