abort if a file does not exist