Implemented File.get_short_name(), File.change_short_name, and Directory.get_file_list()