Make sure idris-mode builds on emacs 24.4