Generate new format names in auto-libm-test-out