install and use stuff from C:\Idris since I can't use env variables
add missing