Make finding the package work from ~
Make the hack more flexible

Until some Idris issues are worked out.