How to remove regina-normal-mpi from Debian 9 (Stretch)