Configure hook for Idris only starting with version 0.9.9. Previous
versions don't need those changes.