PHP bug 61860 is fixed in 5.4.18 also