./badinc.svx:2: Couldn't open file "nonexistent_file"
cavern: No survey data