Configure Idris hook so that it works with versions prior to 0.9.9, too.