How to install ketchup on Debian 9 (Stretch)