Debian 7, Idris installation scripts