How to install cl-ieee-floats on Debian 9 (Stretch)