Minor fixes so that igprof-navigator doesn't simply die when filenames don't have the expected format