[PATCH] [bugfix] OVAL partition IDs != filenames