Make sure we use the official version of idris-llvm for testing