How to install libsundials-serial on Debian 9 (Stretch)