Make build with latest Idris HEAD