How to install libghc-ieee754-dev on Debian 9 (Stretch)