on older osx / brew select apple_gcc42, fix #2303