$file_name actually does not exist