Instead of using the installed global idris for tests,

pass the PATH to the current compiled one to test and use this