Make Paths_idris public for codegens to find it