deal.II 9.3.1 has been released in the meantime,
so update to that.

Best regards,
Paul