Don't limit setlocale() hack to PHP 5.2.6, as per comment on bug 14944.