Random: PHP bug 52523 has been fixed in 5.3.7