catch-undefined-behavior.cpp: Remove names that don't appear in every build.