How to install festvox-rablpc8k on Debian 9 (Stretch)