Make Idris faces customizable
Make Idris interpreter location customizable