wrap idris, so it can compile binaries