Ask idris for its libdir and setup its home manually