get_file_in_path: move to env.js