Make lightyear_text compatible with idris-0.9.15.