FileCheck: fix a bug with multiple --check-prefix options.