How to install regina-normal-mpi on Debian 9 (Stretch)