older PHP bug fixes