How to remove cl-ieee-floats from Debian 9 (Stretch)